David S. Hardin | Design And Verification Of Microprocessor Systems

Design And Verification Of Microprocessor Systems For High-assurance

Verification And Evaluation Of Computer And Communication Systems

Interactive Systems: Design, Specification, And Verification 1st

Verification Of Digital And Hybrid Systems 1988

Simulation And Verification Of Electronic And Biological Systems 2829

Validation And Verification Of Automated Systems Results Of The

Specification And Verification Of Multi-agent Systems 2832

Modeling, Simulation, And Verification Of Stochastic Hybrid Systems |

Formal Modeling And Verification Of Cyber-physical Systems 1st

Validation And Verification Of Knowledge Based Systems Theory, Tools

Verification And Control Of Hybrid Systems A Symbolic Approach 1420

Temporal Verification Of Reactive Systems Safety 2578

Tools For Design, Implementation And Verification Of Emerging

Fundamentals Of Ip And Soc Security Design, Verification, And Debug

Specification And Seamless Verification Ofembedded Real-time Systems